<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
	<head>
		<meta http-equiv="X-UA-Compatible" content="IE=EmulateIE7">
		<link rel="stylesheet" type="text/css" href="core/extern/CodeMirror/css/xmlcolors.css"/>

		<script type="text/javascript" src="core/extern/CodeMirror/js/util.js" />
		<script type="text/javascript" src="core/extern/CodeMirror/js/stringstream.js" />
		<script type="text/javascript" src="core/extern/CodeMirror/js/select.js" />
		<script type="text/javascript" src="core/extern/CodeMirror/js/undo.js" />
		<script type="text/javascript" src="core/extern/CodeMirror/js/editor.js" />
		<script type="text/javascript" src="core/extern/CodeMirror/js/tokenize.js" />

		<script type="text/javascript" src="core/extern/CodeMirror/js/parsexml.js" />

		<title></title>
		<style type="text/css">
			.CodeMirror-line-numbers {
				width: 2.2em;
				color: #aaa;
				background-color: #eee;
				text-align: right;
				padding: .4em;
				margin: 0;
				font-family: monospace;
				font-size: 10pt;
				line-height: 1.1em;
			}
		</style>
	</head>
	<body contentEditable="true" class="editbox" spellcheck="false" style="border-width: 0pt;">
	</body>
</html> 